butler-git:把「我改完了」变成可验证的事实

`butler-git` 是一个 DSH 插件,旨在解决智能体工作流中区分「意图」与「完成」的难点。它通过 Git 原生机制解耦节点(意图)与 Commit(证据),并引入零依赖门禁强制一致性。 核心功能包括:将意图声明与提交验证分离,使用 Delta 和 Program ($P$) 进行严格校验;通过凭证系统实现权限向下包含;冻结已提交节点使其不可变;以及提供 DAG 图和证据链进行可视化与审计。该工具适合对改动极其敏感的项目,能确保工作产出可回放、可审计。

阅读全文
dsh-git-workbench:DeepSeek Harness 的 Git 与 GitHub PR 工作台

`dsh-git-workbench` 是由 FlutterSoul 开发的 DeepSeek Harness(DSH)实验性工作流插件,旨在将 Git 和 GitHub PR 流程集成至 DSH 智能体与 Web 端。该插件提供统一的侧边栏面板及模型工具,支持仓库状态查看、差异比对、分支管理、提交操作以及 GitHub PR 的全生命周期管理(包括创建、编辑、合并及评论)。它通过 GitHub CLI 与 Git 交互,不存储令牌,强调安全性,如禁用强制推送、防止并发覆盖及限制命令执行环境。安装需满足 Node.js 22.19+ 或 24+ 及 DSH 0.1.0-rc.6 环境要求,可通

阅读全文